搜索包含 Programming (Numerical Software) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Programming (Numerical Software) 的图书(共3243本)

	Verified Software: Theories, Tools, Experiments [electronic resource] : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings 0 索取号：作者：Shankar、 Natarajan.、Woodcock、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Software Technologies for Embedded and Ubiquitous Systems [electronic resource] : 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedings 0 索取号：作者：Brinkschulte、 Uwe.、Givargis、 Tony.、Russo、 Stefano.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Engineering Interactive Systems [electronic resource] : Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings 0 索取号：作者：Forbrig、 Peter.、Patern貌、 Fabio.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Principles and Practice of Constraint Programming [electronic resource] : 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings 0 索取号：作者：Stuckey、 Peter J.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Software Process Improvement [electronic resource] : 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings 0 索取号：作者：O鈥機onnor、 Rory V.、Baddoo、 Nathan.、Smolander、 Kari.、Messnarz、 Richard.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Inductive Logic Programming [electronic resource] : 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings 0 索取号：作者：沤elezn媒、 Filip.、Lavra膷、 Nada.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Multiobjective Programming and Goal Programming [electronic resource] : Theoretical Results and Practical Applications 0 索取号：作者：Barichard、 Vincent.、Ehrgott、 Matthias.、Gandibleux、 Xavier.、T'Kindt、 Vincent.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Software Process and Product Measurement [electronic resource] : International Conference, IWSM-Mensura 2007, Palma de Mallorca, Spain, November 5-8, 2007. Revised Papers 0 索取号：作者：Cuadrado-Gallego、 Juan J.、Braungarten、 Ren茅.、Dumke、 Reiner R.、Abran、 Alain.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Numerical Methods in Multidimensional Radiative Transfer [electronic resource] 0 索取号：作者：Kanschat、 Guido.、Meink枚hn、 Erik.、Rannacher、 Rolf.、Wehrse、 Rainer.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		The Common Component Modeling Example [electronic resource] : Comparing Software Component Models 0 索取号：作者：Rausch、 Andreas.、Reussner、 Ralf.、Mirandola、 Raffaela.、Pl谩拧il、 Franti拧ek.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Balancing Agility and Formalism in Software Engineering [electronic resource] : Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers 0 索取号：作者：Meyer、 Bertrand.、Nawrocki、 Jerzy R.、Walter、 Bartosz.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Model Checking Software [electronic resource] : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings 0 索取号：作者：Havelund、 Klaus.、Majumdar、 Rupak.、Palsberg、 Jens.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Algebraic Methodology and Software Technology [electronic resource] : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings 0 索取号：作者：Meseguer、 Jos茅.、Ro艧u、 Grigore.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Making Globally Distributed Software Development a Success Story [electronic resource] : International Conference on Software Process, ICSP 2008 Leipzig, Germany, May 10-11, 2008 Proceedings 0 索取号：作者：Wang、 Qing.、Pfahl、 Dietmar.、Raffo、 David M.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Fundamental Numerical Methods for Electrical Engineering [electronic resource] 0 索取号：作者：Ros艂oniec、 Stanis艂aw.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Agent-Oriented Software Engineering VIII [electronic resource] : 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers 0 索取号：作者：Luck、 Michael.、Padgham、 Lin.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

	Verified Software: Theories, Tools, Experiments [electronic resource] : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings 0 索取号：作者：Shankar、 Natarajan.、Woodcock、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Software Technologies for Embedded and Ubiquitous Systems [electronic resource] : 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedings 0 索取号：作者：Brinkschulte、 Uwe.、Givargis、 Tony.、Russo、 Stefano.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Engineering Interactive Systems [electronic resource] : Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings 0 索取号：作者：Forbrig、 Peter.、Patern貌、 Fabio.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Principles and Practice of Constraint Programming [electronic resource] : 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings 0 索取号：作者：Stuckey、 Peter J.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Software Process Improvement [electronic resource] : 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings 0 索取号：作者：O鈥機onnor、 Rory V.、Baddoo、 Nathan.、Smolander、 Kari.、Messnarz、 Richard.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Inductive Logic Programming [electronic resource] : 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings 0 索取号：作者：沤elezn媒、 Filip.、Lavra膷、 Nada.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Multiobjective Programming and Goal Programming [electronic resource] : Theoretical Results and Practical Applications 0 索取号：作者：Barichard、 Vincent.、Ehrgott、 Matthias.、Gandibleux、 Xavier.、T'Kindt、 Vincent.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Software Process and Product Measurement [electronic resource] : International Conference, IWSM-Mensura 2007, Palma de Mallorca, Spain, November 5-8, 2007. Revised Papers 0 索取号：作者：Cuadrado-Gallego、 Juan J.、Braungarten、 Ren茅.、Dumke、 Reiner R.、Abran、 Alain.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Numerical Methods in Multidimensional Radiative Transfer [electronic resource] 0 索取号：作者：Kanschat、 Guido.、Meink枚hn、 Erik.、Rannacher、 Rolf.、Wehrse、 Rainer.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		The Common Component Modeling Example [electronic resource] : Comparing Software Component Models 0 索取号：作者：Rausch、 Andreas.、Reussner、 Ralf.、Mirandola、 Raffaela.、Pl谩拧il、 Franti拧ek.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Balancing Agility and Formalism in Software Engineering [electronic resource] : Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers 0 索取号：作者：Meyer、 Bertrand.、Nawrocki、 Jerzy R.、Walter、 Bartosz.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Model Checking Software [electronic resource] : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings 0 索取号：作者：Havelund、 Klaus.、Majumdar、 Rupak.、Palsberg、 Jens.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Algebraic Methodology and Software Technology [electronic resource] : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings 0 索取号：作者：Meseguer、 Jos茅.、Ro艧u、 Grigore.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Making Globally Distributed Software Development a Success Story [electronic resource] : International Conference on Software Process, ICSP 2008 Leipzig, Germany, May 10-11, 2008 Proceedings 0 索取号：作者：Wang、 Qing.、Pfahl、 Dietmar.、Raffo、 David M.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Fundamental Numerical Methods for Electrical Engineering [electronic resource] 0 索取号：作者：Ros艂oniec、 Stanis艂aw.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Agent-Oriented Software Engineering VIII [electronic resource] : 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers 0 索取号：作者：Luck、 Michael.、Padgham、 Lin.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.